/*
 * TIMER.h
 *
 *  Created on: May 4, 2010
 *      Author: iandrono
 */

#ifndef TIMER_H_
#define TIMER_H_

	#define TIMERFACTOR 125

	void initTimer( void );
	void setTimerCounter( unsigned char newTimerCounter );
	unsigned char getTimerCounter();

#endif /* TIMER_H_ */
